Expanding Quasi-MV Algebras by a Quantum Operator
نویسندگان
چکیده
We investigate an expansion of quasi-MV algebras ([10]) by a genuine quantum unary operator. The variety p 0QMV of such p 0 quasi-MV algebras has a subquasivariety whose members called cartesian can be obtained in an appropriate way out of MV algebras. After showing that cartesian p 0 quasi-MV algebras generate p 0QMV, we prove a standard completeness theorem for p 0QMV w.r.t. an algebra over the complex numbers.
منابع مشابه
MV-Algebras and Quantum Computation
We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a "at" quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra o...
متن کاملSome Properties of Quasi - Mv Algebras
A b s t r a c t. We investigate some properties of two varieties of algebras arising from quantum computation quasi-MV algebras and √ ′ quasi-MV algebras first introduced in [13], [12] and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of √ ′ quasiMV algebras...
متن کاملEffect algebras with state operator
Effect algebras have been introduced by Foulis and Bennett [2] (see also [3, 4] for equivalent definitions) for modeling unsharp measurements in quantum mechanical systems [5]. They are a generalization of many structures which arise in the axiomatization of quantum mechanics (Hilbert space effects [7]), noncommutative measure theory and probability (orthomodular lattices and posets, [6]), fuzz...
متن کاملCategorical equivalences for p 0 quasi - MV algebras
In previous investigations into the subject ([4], [9], [1]), p 0 quasi-MV algebras have been mainly viewed as preordered structures w.r.t. the induced preorder relation of their quasi-MV term reducts. In this paper, we shall focus on a di¤erent relation which partially orders cartesian p 0 quasi-MV algebras. We shall prove that: a) every cartesian p 0 quasi-MV algebra is embeddable into an inte...
متن کاملOn Certain Quasivarieties of Quasi-MV Algebras
Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 87 شماره
صفحات -
تاریخ انتشار 2007